Preliminary Design of Larch/C++
نویسندگان
چکیده
We describe the problems encountered in the design of Larch/C++, especially its object-oriented features. We discuss a range of possible solutions to these problems, and give the rationale for our particular solutions. We also present examples of Larch/C++ speci cations and discuss di erences from Larch/C.
منابع مشابه
Thoughts on a Larch/ML and a New Application for LP
We describe a preliminary design for a Larch interface language for the programming language ML.1 ML’s support for higher-order functions suggests a need to go beyond the first-order logical foundations of Larch languages. We also propose a new application, specification matching, for the Larch Prover, which could benefit from extending LP to handle full first-order logic. This paper describes ...
متن کاملAn Overview of Larch/C++: Behavioral Speci cations for C++ Modules
An overview is presented of the behavioral interface speci cation language Larch/C++. The features of Larch/C++ used to specify the behavior of C++ functions and classes, including subclasses, are described, with examples. Comparisons are made with other object-oriented specication languages. An innovation in Larch/C++ is the use of examples in function speci cations.
متن کاملAN OVERVIEW OF LARCH / C + + : BEHAVIORAL SPECIFICATIONSFOR C + + MODULESGary
An overview is presented of the behavioral interface speciication language Larch/C++. The features of Larch/C++ used to specify the behavior of C++ functions and classes, including subclasses, are described, with examples. Comparisons are made with other object-oriented speciication languages. An innovation in Larch/C++ is the use of examples in function speciications.
متن کاملAn Overview of Larch / C + + : Behavioral Specificationsfor
An overview is presented of the behavioral interface speciication language Larch/C++. The features of Larch/C++ used to specify the behavior of C++ functions and classes, including subclasses, are described, with examples. Comparisons are made with other object-oriented speci-cation languages. An innovation in Larch/C++ is the use of examples in function speciications.
متن کاملAn Overview of Larch / C + + : Behavioral Specificationsfor C + +
An overview is presented of the behavioral interface speciication language Larch/C++. The features of Larch/C++ used to specify the behavior of C++ functions and classes, including subclasses, are described, with examples. Comparisons are made with other object-oriented speci-cation languages. An innovation in Larch/C++ is the use of examples in function speciications.
متن کامل